Remarques sur les questions posées par Smadar Bustan

Remarques sur les Langages de Parenthèses

La famille des langages de parentheses est une giniralisation judicieuse (due % Takahashi [9]) de la famille des langages parenthetiques. En effet, pour cette famille qui jouit de nombreuses prorriitis de cloture (comme la cloture par intersection, par exemple), Takahashi itend ies rksultaas connus sur les parenthetiques pour decider de l’iquivaience [9]. A i’inverse, nous prouvons ici que la f...

Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres

La mise en œuvre effective de méthodes de vérification de programmes comportant des calculs sur les nombres à virgule flottante reste encore problématique. Cela est en partie dû aux difficultés inhérentes à l’arithmétique des nombres à virgule flottante dont la pauvreté des propriétés rend souvent impossible la transposition de résultats établis sur les réels. C’est pourquoi nous présentons dan...

Sur La Séparation Des Caractères Par Les Frobenius

In this paper, we are interested in the question of separating two characters of the absolute Galois group of a number field K, by the Frobenius of a prime ideal p of OK . We first recall an upper bound for the norm N(p) of the smallest such prime p, depending on the conductors and on the degrees. Then we give two applications: (i) find a prime number p for which P (mod p) has a certain type of...

quelques remarques sur les lacunes de la loi du travail

-

Sur les maladies contagieuses des Animaux domestiques, observées en Iran de 1930 à 1935 par Louis